(0 20 7)(1 19 4)(2 17 15)(3 8 5)(6 13 11)(9 16 10)(12 18 14)
ALLOWS (11/8)-SEQUENCE
1: (9 16 20)
(0 20 10 9 7)(1 19 4)(2 17 15)(3 8 5)(6 13 11)(12 18 14)(16)
2: (2 17 15)
(0 20 10 9 7)(1 19 4)(2)(3 8 5)(6 13 11)(12 18 14)(15)(16)(17)
3: (0 9 7)
(0)(1 19 4)(2)(3 8 5)(6 13 11)(7)(9 20 10)(12 18 14)(15)(16)(17)
4: (1 19 4)
(0)(1)(2)(3 8 5)(4)(6 13 11)(7)(9 20 10)(12 18 14)(15)(16)(17)(19)